Mathematical Software Is It Mathematics or Is It Software ?
نویسنده
چکیده
Computers can empower mathematicians to envision and to prove theorems beyondnatural limitations. At the same time, computers can facilitate misdirection and error on a grand scale.Working on software development is, in effect, engaging in an interesting genre ofmathematical thinking. Since we are in an age where significant progress has been achieved on both practical and intellectual levels by such thinking, the development of mathematical software is genuinely part of mathematics. That is, the conceptual breakthroughs in software development should find a home in the academic mathematical community.
منابع مشابه
Is it mathematics or is it software ? Lisa
Computers can empower mathematicians to envision and to prove theorems beyond natural limitations. At the same time, computers can facilitate misdirection and error on a grand scale. Working on software development is, in effect, engaging in an interesting genre of mathematical thinking. Since we are in an age where significant progress has been achieved on both practical and intellectual level...
متن کاملThe Future of Mathematical Software
This article gives my very personal view of the development of (mathematical) software in the past and in the future. It is based both on my experiences as a user and as an author of math software [1], and also as a non-software-using mathematician. This is not a real mathematical article. Probably the conclusions of this article could also be applied to completely different types of software, ...
متن کاملMathematical Principles in Software Quality Engineering
Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent medium for modeling, since it is an exact medium there is a little possibility of ambiguity. This paper demonstrates that mathematics provides a high level of va...
متن کاملThe Role of Modeling in Software Engineering Education
1 Peter B. Henderson, Butler University, Department of Computer Science and Software Engineering, Indianapolis, IN 46208 [email protected] Abstract In traditional engineering disciplines students are introduced to modeling as a tool for studying/checking the feasibility, functionality, trade-offs, features, design and construction pitfalls, cost analysis, etc. of a system. Physical and/or mat...
متن کاملبرنامهریزی درسی در دانشگاه به کمک مدلسازی دو مرحلهای برنامهریزی ریاضی
In the university timetabling problem, necessity of considering variables corresponding to lessons, teachers, classes, days of the week and hours bring about a large scale mix integer linear programming problem. Usually the problem is so big that the exact mathematical programming solvers can not solve them in a small period of time. So variety of heuristic algorithms is proposed to solve such...
متن کامل